241. Logic grammars : with 40 illustrations
پدیدآورنده : Abramson, Harvey
موضوع : ، Logic programming,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
242. Logic in computer science: modelling and reasoning about systems
پدیدآورنده : Huth, Michael
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer logic,، Logic programming )Computer science(
رده :
QA
76
.
9
.
L63
.
H88
2004
243. Logic in databases : International Workshop LID'96 San Miniato, Italy, July 1-2, 1996: proceedings
پدیدآورنده : Dino Pedreschi, Carlo Zaniolo )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Database management,Congresses ، Deductive databases,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1154
244. Logic, language, and computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;
245. Logic, language, and computation :
پدیدآورنده : Nick Bezhanishvili [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses
رده :
QA76
.
9
.
L63
I57
2009eb
246. Logic, language, and computation
پدیدآورنده : \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
247. Logic & logic grammars for language processing
پدیدآورنده : SAINT-DIZIER,PATRICK
کتابخانه: (طهران)
موضوع : LOGIC PROGRAMMING , NATURAL LANGUAGE PROCESSING )COMPUTER
رده :
QA
76
.
63
.
L62
1990
248. Logic of Domains
پدیدآورنده : Zhang, Guo-Qiang, 0691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
249. Logic of domains
پدیدآورنده : Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
250. Logic program synthesis and transformation :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses ;
251. Logic program synthesis and transformation--Meta-programming in Logic, 4th International Workshops, LOPSTR'94 and META'94Pisa, Italy, June 20-21 1994 : proceedings
پدیدآورنده : Laurent Fribourg, Franco Turini, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
883
252. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
253. Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 : Proceedings
پدیدآورنده : John Gallagher )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1207
254. Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
پدیدآورنده : Maurizio Proietti )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1048
255. Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 1997 : Proceedings
پدیدآورنده : Norbert E. Fuchs
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1463
256. Logic programming
پدیدآورنده : edited by K.L. Clark and S.-A. Tarnlund
کتابخانه: (طهران)
موضوع : ، Logic programming
رده :
QA
76
.
6
.
L587
257. Logic programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic programming ; Congresses. ; Computer programming ; Congresses. ;
258. Logic programming :
پدیدآورنده : James H. Andrews
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
259. Logic programming
پدیدآورنده : CLARK,KEITH L ED
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
L58
260. Logic programming
پدیدآورنده : Patricia M. Hill, David S. Warren (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses
رده :
QA76
.
63
.
I57
2009eb
